서로소 집합 m1,m2,...,mn $m_1, m_2, ..., m_n$ gcd(mi,mj)=1 $gcd(m_i, m_j)=1$ 에 대하여 x≡a1(mod m1) $x\equiv a_1(mod\ m_1)$ x≡a2(mod m2) $x\equiv a_2(mod\ m_2)$ x≡a2(mod m2) $x\equiv a_2(mod\ m_2)$ ... x≡an(mod mn) $x\equiv a_n(mod\ m_n)$ 는 m1m2m3...mn $m_1m_2m_3...m_n$ 에 대하여 유일한 해를 가진다.

Chinese Remainder Theorem; CRT